Project statistics¶

Lines of code of the packages developed on the GitHub organization homalg-project¶

Lines of code of the packages developed on https://github.com/homalg-project